$\forall$$a$:$\mathbb{N}$, $n$:$\mathbb{N}^{+}$. Rem($a$;$n$;$a$ rem $n$)